package dipl.algorithm.impl;

/**
 * Types of intersection
 */
public enum IntersectionType {
	//
	// CONSTANTS
	//

	/** single intersection */
	Unique( "Unique" ),
	/** possible intersection */
	Possible( "Possible" ),
	/** micro pair (smaller than yap-bounds) */
	Micro( "Micro" );

	//
	// CONSTRUCTOR METHODS
	//

	IntersectionType( String name ) {
		this.name = name;
	}

	//
	// PROPERTIES
	//

	public String Name() {
		return name;
	}

	//
	// MEMBERS
	//
	
	protected String name;
}
